/*
 * To change this template, choose Tools | Templates
 * and open the template in the editor.
 */

/**
 *
 * @author paco
 */
public class TipoClase extends Tipo
{
	TablaSimbolos tablaSimbolos;
	/**
	 * Constructor
	 * @param nombre
	 * @param tipoBase 
	 */
	public TipoClase(TablaSimbolos tablaSimbolos)
	{
		super("Clase", null);
		this.tablaSimbolos = tablaSimbolos;
	}

	/**
	 * Tabla de simbolos asociada a la clase.
	 * @return Tabla de simbolos.
	 */
	public TablaSimbolos getTablaSimbolos()
	{
		return tablaSimbolos;
	}

	/**
	 * Cambia la tabla de simbolos asociada.
	 * @param tablaSimbolos Tabla de simbolos nueva.
	 */
	public void setTablaSimbolos(TablaSimbolos tablaSimbolos)
	{
		this.tablaSimbolos = tablaSimbolos;
	}
}
